Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?
1

Gödel’s system revisited

Année:
2010
Langue:
english
Fichier:
PDF, 970 KB
english, 2010
2

Type Inference using Constraint Handling Rules

Année:
2002
Langue:
english
Fichier:
PDF, 334 KB
english, 2002
5

The Power of Closed Reduction Strategies

Année:
2007
Langue:
english
Fichier:
PDF, 353 KB
english, 2007
6

Weak linearization of the lambda calculus

Année:
2005
Langue:
english
Fichier:
PDF, 351 KB
english, 2005
7

Linearity and iterator types for Gödel’s System

Année:
2010
Langue:
english
Fichier:
PDF, 911 KB
english, 2010
17

CLP(H): Constraint logic programming for hedges

Année:
2016
Langue:
english
Fichier:
PDF, 195 KB
english, 2016
19

Type-Based Cost Analysis for Lazy Functional Languages

Année:
2017
Langue:
english
Fichier:
PDF, 1.24 MB
english, 2017
20

Preface

Année:
2017
Langue:
english
Fichier:
PDF, 105 KB
english, 2017
21

Pattern-based calculi with finitary matching

Année:
2017
Langue:
english
Fichier:
PDF, 662 KB
english, 2017